例句與造句

1. Under the Curry & ndash; Howard isomorphism, Peirce's law is the type of continuation operators, e . g . call / cc in Scheme.
2. Continuation operators like call / cc capture the " entire " remaining computation at a given point in the program and provide no way of delimiting this capture.
3. Delimited continuation operators address this by providing two separate control mechanisms : a " prompt " that delimits a continuation operation and a " reification " operator such as shift or control.
4. It's difficult to find continuation operator in a sentence. 用continuation operator造句挺難的